g:Group{i}. Inverse(|g|;*;e;~) 

latex

Up	groups 1
Definitions of Statement	Mon, Group{i}
Definitions	True, T, t  T, x:A. B(x), P  Q, SqStable(P), Mon, Group{i}
Lemmas	grp wf, grp inv wf, grp id wf, grp op wf, grp car wf, sq stable inverse